#!/bin/bash

echo "Gerando Saida"
./Maude/maude-linux64/maude.linux64 PetriNetInterleaving.maude > Debug/PetriNetInterleaving.saida
echo "Gerando Codigo dot"
cat Debug/PetriNetInterleaving.saida | python scripts/maude2dot.py > Debug/PetriNetInterleaving.dot
#rm -rf PetriNetInterleaving.saida
echo "Gerando Imagem jpg"
dot -Tjpg Debug/PetriNetInterleaving.dot -o PetriNetInterleaving.jpg
echo "Saida Grafica Gerada!"
read -p 'Digite [Enter] para continuar...'
